Lexpresso: A Controlled Natural Language
نویسنده
چکیده
This paper presents an overview of ‘Lexpresso’, a Controlled Natural Language developed at the Defence Science & Technology Organisation as a bidirectional natural language interface to a high-level information fusion system. The paper describes Lexpresso’s main features including lexical coverage, expressiveness and range of linguistic syntactic and semantic structures. It also touches on its tight integration with a formal semantic formalism and tentatively classifies it against the PENS system.
منابع مشابه
Towards Structural Natural Language Formalization: Mapping Discourse to Controlled Natural Language
The author describes a conceptual study towards mapping grounded natural language discourse representation structures to instances of controlled language statements. This can be achieved via a pipeline of preexisting state of the art technologies, namely natural language syntax to semantic discourse mapping, and a reduction of the latter to controlled language discourse, given a set of previous...
متن کاملAttempto Controlled English - Not Just Another Logic Specification Language
The speci cation language Attempto Controlled English (ACE) is a controlled natural language, i.e. a subset of standard English with a domain-speci c vocabulary and a restricted grammar. The restriction of full natural language to a controlled subset is essential for ACE to be suitable for speci cation purposes. The main goals of this restriction are to reduce ambiguity and vagueness inherent i...
متن کاملProcessing Coordinated Structures in PENG Light
PENG Light is a controlled natural language designed to write unambiguous specifications that can be translated automatically via discourse representation structures into a formal target language. Instead of writing axioms in a formal language, an author writes a specification and the associated background axioms directly in controlled natural language. In this paper, we first review the contro...
متن کاملAn Evaluation Framework for Controlled Natural Languages
This paper presents a general framework called ontographs that relies on a graphical notation and enables the tool-independent and reliable evaluation of human understandability of knowledge representation languages. An experiment with 64 participants is presented that applies this framework and compares a controlled natural language to a common formal language. The results show that the contro...
متن کاملAttempto - From Specifications in Controlled Natural Language towards Executable Specifications
Deriving formal specifications from informal requirements is difficult since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge the conceptual gap we propose controlled natural language as a textual view on formal specifications in logic. The specification language Attempto Controlled English (ACE) is a subset of natural...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014